<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
Index
</TITLE>
</HEAD>
<BODY >
<A HREF="libman064.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman072.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter">Index</H1>

<TABLE CELLSPACING=2 CELLPADDING=0>
<TR><TD VALIGN=top ALIGN=left><UL CLASS="itemize"><LI CLASS="li-itemize">
&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default41">3.2.2</A>
</UL>
<LI CLASS="li-itemize">&gt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default39">3.2.2</A>
</UL>
<LI CLASS="li-itemize">&gt;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default35">3.2.2</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">::/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman027.html#@default158">5.2.1</A>
<LI CLASS="li-itemize">ic, <A HREF="libman018.html#@default23">3.2.1</A>
</UL>
<LI CLASS="li-itemize">::/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default25">3.2.1</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">=&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default37">3.2.2</A>
</UL>
<LI CLASS="li-itemize">=&gt;/2, <A HREF="libman017.html#@default19">3.1.2</A>, <A HREF="libman018.html#@default53">3.2.3</A>
<LI CLASS="li-itemize">=:=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default33">3.2.2</A>
</UL>
<LI CLASS="li-itemize">=\=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default43">3.2.2</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">#&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default48">3.2.2</A>
</UL>
<LI CLASS="li-itemize">#&lt;=&gt;/2, <A HREF="libman017.html#@default15">3.1.2</A>
<LI CLASS="li-itemize">#&lt;=/2, <A HREF="libman017.html#@default7">3.1.2</A>
<LI CLASS="li-itemize">#&gt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default47">3.2.2</A>
</UL>
<LI CLASS="li-itemize">#&gt;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default45">3.2.2</A>
</UL>
<LI CLASS="li-itemize">#/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default166">5.3.2</A>
</UL>
<LI CLASS="li-itemize">#::/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default26">3.2.1</A>
</UL>
<LI CLASS="li-itemize">#=&lt;/2, <A HREF="libman017.html#@default8">3.1.2</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default46">3.2.2</A>
</UL>
<LI CLASS="li-itemize">#=&gt;/2, <A HREF="libman017.html#@default14">3.1.2</A>
<LI CLASS="li-itemize">#=/2, <A HREF="libman017.html#@default20">3.1.2</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default44">3.2.2</A>
</UL>
<LI CLASS="li-itemize">##/2, <A HREF="libman017.html#@default10">3.1.2</A>
<LI CLASS="li-itemize">#/\/2, <A HREF="libman017.html#@default12">3.1.2</A>
<LI CLASS="li-itemize">#\+/1, <A HREF="libman017.html#@default11">3.1.2</A>
<LI CLASS="li-itemize">#\=/2, <A HREF="libman017.html#@default9">3.1.2</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default49">3.2.2</A>
</UL>
<LI CLASS="li-itemize">#\//2, <A HREF="libman017.html#@default13">3.1.2</A>
<LI CLASS="li-itemize">$&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default40">3.2.2</A>
</UL>
<LI CLASS="li-itemize">$&gt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default38">3.2.2</A>
</UL>
<LI CLASS="li-itemize">$&gt;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="libman054.html#@default282">9.2.1</A>
<LI CLASS="li-itemize">ic, <A HREF="libman018.html#@default34">3.2.2</A>
</UL>
<LI CLASS="li-itemize">$::/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="libman054.html#@default284">9.2.3</A>
<LI CLASS="li-itemize">ic, <A HREF="libman018.html#@default28">3.2.1</A>
</UL>
<LI CLASS="li-itemize">$=&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="libman054.html#@default283">9.2.1</A>
<LI CLASS="li-itemize">ic, <A HREF="libman018.html#@default36">3.2.2</A>
</UL>
<LI CLASS="li-itemize">$=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="libman054.html#@default281">9.2.1</A>
<LI CLASS="li-itemize">ic, <A HREF="libman018.html#@default32">3.2.2</A>
</UL>
<LI CLASS="li-itemize">$\=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default42">3.2.2</A>
</UL>
<LI CLASS="li-itemize">&amp;&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default190">6.2</A>
</UL>
<LI CLASS="li-itemize">&amp;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default188">6.2</A>
</UL>
<LI CLASS="li-itemize">&amp;=&lt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default192">6.2</A>
</UL>
<LI CLASS="li-itemize">&amp;&gt;/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default191">6.2</A>
</UL>
<LI CLASS="li-itemize">&amp;&gt;=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default193">6.2</A>
</UL>
<LI CLASS="li-itemize">&amp;\=/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default189">6.2</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">ac_eq/3, <A HREF="libman018.html#@default50">3.2.2</A>
<LI CLASS="li-itemize">all_disjoint/1, <A HREF="libman028.html#@default175">5.3.4</A>
<LI CLASS="li-itemize">all_intersection/2, <A HREF="libman028.html#@default177">5.3.4</A>
<LI CLASS="li-itemize">all_union/2, <A HREF="libman028.html#@default176">5.3.4</A>
<LI CLASS="li-itemize">alldifferent/1, <A HREF="libman022.html#@default129">4.1</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default55">3.2.4</A>
<LI CLASS="li-itemize">ic_symbolic, <A HREF="libman035.html#@default197">6.3</A>
</UL>
<LI CLASS="li-itemize">alldifferent/2, <A HREF="libman022.html#@default131">4.1</A>
<LI CLASS="li-itemize">already_in_heads option, <A HREF="libman047.html#@default247">8.5.3</A>
<LI CLASS="li-itemize">already_in_store option, <A HREF="libman047.html#@default246">8.5.3</A>
<LI CLASS="li-itemize">and/2, <A HREF="libman017.html#@default17">3.1.2</A>, <A HREF="libman018.html#@default51">3.2.3</A>
<LI CLASS="li-itemize">annotation, <A HREF="libman067.html#@default378">10.3</A>
<LI CLASS="li-itemize">approximate generalised propagation, <A HREF="libman041.html#@default210">7.3</A>
<LI CLASS="li-itemize">arithmetic constraints, <A HREF="libman045.html#@default229">8.3</A>
<LI CLASS="li-itemize">atmost/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman035.html#@default199">6.3</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">boolean constraints, <A HREF="libman045.html#@default223">8.3</A>
<LI CLASS="li-itemize">branch_and_bound, <A HREF="libman018.html#@default57">3.2.5</A>
<LI CLASS="li-itemize">breal/2, <A HREF="libman017.html#@default21">3.1.5</A>
<BR>
<BR>
<LI CLASS="li-itemize"><FONT COLOR=purple>CHR</FONT>, <A HREF="libman042.html#@default215">8</A>
<LI CLASS="li-itemize">CPLEX, <A HREF="libman063.html#@default345">9.11</A>
<LI CLASS="li-itemize">check_guard_bindings option, <A HREF="libman046.html#@default237">8.4.2</A>, <A HREF="libman047.html#@default244">8.5.3</A>, <A HREF="libman049.html#@default263">8.7</A>, <A HREF="libman049.html#@default269">8.7.2</A>
<LI CLASS="li-itemize">chr/1, <A HREF="libman047.html#@default252">8.5.4</A>
<LI CLASS="li-itemize">chr2pl/1, <A HREF="libman047.html#@default251">8.5.4</A>
<LI CLASS="li-itemize">chr_get_constraint/1, <A HREF="libman047.html#@default258">8.5.4</A>
<LI CLASS="li-itemize">chr_get_constraint/2, <A HREF="libman047.html#@default259">8.5.4</A>
<LI CLASS="li-itemize">chr_label_with/1, <A HREF="libman047.html#@default256">8.5.4</A>
<LI CLASS="li-itemize">chr_labeling/0, <A HREF="libman047.html#@default255">8.5.4</A>
<LI CLASS="li-itemize">chr_notrace/0, <A HREF="libman047.html#@default254">8.5.4</A>
<LI CLASS="li-itemize">chr_resolve/1, <A HREF="libman047.html#@default257">8.5.4</A>
<LI CLASS="li-itemize">chr_trace/0, <A HREF="libman047.html#@default253">8.5.4</A>
<LI CLASS="li-itemize">collection_to_list/2, <A HREF="libman018.html#@default24">3.2.1</A>, <A HREF="libman018.html#@default27">3.2.1</A>, <A HREF="libman018.html#@default29">3.2.1</A>
<LI CLASS="li-itemize">column generation
<UL CLASS="itemize"><LI CLASS="li-itemize">
lp_add_columns/4, <A HREF="libman056.html#@default322">9.4.5</A>
<LI CLASS="li-itemize">lp_add_constraints/4, <A HREF="libman056.html#@default320">9.4.5</A>
</UL>
<LI CLASS="li-itemize">committed choice, <A HREF="libman045.html#@default231">8.3</A>
<LI CLASS="li-itemize">common solver interface, <A HREF="libman011.html#@default0">2</A>, <A HREF="libman015.html#@default4">2.4</A>
<LI CLASS="li-itemize">conflict constraint, <A HREF="libman067.html#@default377">10.3</A>
<LI CLASS="li-itemize">conflict constraints, <A HREF="libman068.html#@default390">10.4</A>
<LI CLASS="li-itemize">conflict variables, <A HREF="libman068.html#@default388">10.4</A>
<LI CLASS="li-itemize">conflict_constraints/2, <A HREF="libman067.html#@default382">10.3</A>, <A HREF="libman067.html#@default383">10.3</A>, <A HREF="libman068.html#@default391">10.4</A>, <A HREF="libman068.html#@default392">10.4</A>
<LI CLASS="li-itemize">conflict_vars/1, <A HREF="libman068.html#@default389">10.4</A>
<LI CLASS="li-itemize">consistent, <A HREF="libman041.html#@default212">7.3</A>
<LI CLASS="li-itemize">constraint annotation, <A HREF="libman067.html#@default379">10.3</A>
<LI CLASS="li-itemize">constraint handling rules, <A HREF="libman042.html#@default214">8</A>
<LI CLASS="li-itemize">constraint solvers, <A HREF="libman045.html#@default216">8.3</A>
<LI CLASS="li-itemize">constraints
<UL CLASS="itemize"><LI CLASS="li-itemize">
disjunctive, <A HREF="libman040.html#@default207">7.2</A>
</UL>
<LI CLASS="li-itemize">constraints declaration, <A HREF="libman047.html#@default240">8.5.1</A>
<LI CLASS="li-itemize">control
<UL CLASS="itemize"><LI CLASS="li-itemize">
sound, <A HREF="libman045.html#@default221">8.3</A>
</UL>
<LI CLASS="li-itemize">copy_term/2, <A HREF="libman066.html#@default373">10.2.6</A>
<LI CLASS="li-itemize">cumulative/4, <A HREF="libman023.html#@default151">4.2</A>, <A HREF="libman024.html#@default155">4.3</A>
<LI CLASS="li-itemize">cumulative/5, <A HREF="libman024.html#@default156">4.3</A>
<LI CLASS="li-itemize">cutpool constraints, <A HREF="libman057.html#@default329">9.5</A>
<BR>
<BR>
<LI CLASS="li-itemize">dbgcomp, <A HREF="libman047.html#@default249">8.5.3</A>, <A HREF="libman049.html#@default265">8.7</A>, <A HREF="libman050.html#@default271">8.8.1</A>
<LI CLASS="li-itemize">debug_compile flag, <A HREF="libman047.html#@default248">8.5.3</A>, <A HREF="libman049.html#@default264">8.7</A>, <A HREF="libman050.html#@default270">8.8.1</A>
<LI CLASS="li-itemize">declarations
<UL CLASS="itemize"><LI CLASS="li-itemize">
<FONT COLOR=purple>CHR</FONT>, <A HREF="libman047.html#@default238">8.5.1</A>
</UL>
<LI CLASS="li-itemize">default range, <A HREF="libman018.html#@default92">3.2.9</A>
<LI CLASS="li-itemize">delayed goals, <A HREF="libman018.html#@default90">3.2.9</A>
<LI CLASS="li-itemize">delayed_goals_number/2, <A HREF="libman018.html#@default84">3.2.7</A>
<LI CLASS="li-itemize">demon/1, <A HREF="libman069.html#@default400">10.5</A>
<LI CLASS="li-itemize">difference/3, <A HREF="libman029.html#@default181">5.4</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default167">5.3.3</A>
</UL>
<LI CLASS="li-itemize">disjoint/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default168">5.3.3</A>
</UL>
<LI CLASS="li-itemize">disjunctive constraints, <A HREF="libman040.html#@default206">7.2</A>
<LI CLASS="li-itemize">disjunctive/2, <A HREF="libman024.html#@default154">4.3</A>
<LI CLASS="li-itemize">domain constraints, <A HREF="libman045.html#@default225">8.3</A>
<LI CLASS="li-itemize">domain splitting, <A HREF="libman018.html#@default93">3.2.10</A>
<LI CLASS="li-itemize">domain/1, <A HREF="libman033.html#@default187">6.1</A>
<BR>
<BR>
<LI CLASS="li-itemize">element/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default56">3.2.4</A>
<LI CLASS="li-itemize">ic_symbolic, <A HREF="libman034.html#@default196">6.2</A>
</UL>
<LI CLASS="li-itemize">eplex, <A HREF="libman053.html#@default279">9.1</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
instance
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex_instance/1, <A HREF="libman055.html#@default295">9.3.2</A>
</UL>
<LI CLASS="li-itemize">lp_probe/3, <A HREF="libman056.html#@default313">9.4.3</A>
<LI CLASS="li-itemize">presolve, <A HREF="libman055.html#@default299">9.3.3</A>
</UL>
<LI CLASS="li-itemize">eplex:eplex_get/2, <A HREF="libman063.html#@default356">9.11.3</A>
<LI CLASS="li-itemize">eplex_add_constraints/3, <A HREF="libman063.html#@default347">9.11.2</A>
<LI CLASS="li-itemize">eplex_cleanup/0, <A HREF="libman055.html#@default301">9.3.5</A>, <A HREF="libman056.html#@default325">9.4.7</A>
<LI CLASS="li-itemize">eplex_cplex, <A HREF="libman063.html#@default342">9.11</A>
<LI CLASS="li-itemize">eplex_get/2, <A HREF="libman055.html#@default290">9.3.1</A>, <A HREF="libman055.html#@default296">9.3.2</A>, <A HREF="libman063.html#@default349">9.11.3</A>
<LI CLASS="li-itemize">eplex_get_iis/4, <A HREF="libman061.html#@default341">9.9</A>
<LI CLASS="li-itemize">eplex_instance/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
epex, <A HREF="libman054.html#@default280">9.2</A>
</UL>
<LI CLASS="li-itemize">eplex_probe/2, <A HREF="libman055.html#@default300">9.3.4</A>, <A HREF="libman056.html#@default314">9.4.3</A>, <A HREF="libman063.html#@default346">9.11.2</A>
<LI CLASS="li-itemize">eplex_read/2, <A HREF="libman055.html#@default294">9.3.1</A>
<LI CLASS="li-itemize">eplex_set/2, <A HREF="libman055.html#@default291">9.3.1</A>, <A HREF="libman063.html#@default352">9.11.3</A>, <A HREF="libman063.html#@default359">9.11.3</A>
<LI CLASS="li-itemize">eplex_solve/1, <A HREF="libman054.html#@default288">9.2.5</A>
<LI CLASS="li-itemize">eplex_solver_setup/1, <A HREF="libman054.html#@default287">9.2.5</A>
<LI CLASS="li-itemize">eplex_solver_setup/4, <A HREF="libman055.html#@default293">9.3.1</A>, <A HREF="libman055.html#@default297">9.3.3</A>, <A HREF="libman055.html#@default298">9.3.3</A>, <A HREF="libman056.html#@default307">9.4.1</A>
<LI CLASS="li-itemize">eplex_var_get/3, <A HREF="libman055.html#@default289">9.3.1</A>
<LI CLASS="li-itemize">eplex_write/2, <A HREF="libman055.html#@default292">9.3.1</A>, <A HREF="libman057.html#@default338">9.5.2</A>
<LI CLASS="li-itemize">eplex_xpress, <A HREF="libman063.html#@default343">9.11</A>
<LI CLASS="li-itemize">equation solving, <A HREF="libman045.html#@default230">8.3</A>
<LI CLASS="li-itemize">exclude/2, <A HREF="libman020.html#@default120">3.4.1</A>
<LI CLASS="li-itemize">exclude_range/3, <A HREF="libman020.html#@default121">3.4.1</A>
<LI CLASS="li-itemize">existence of solutions, <A HREF="libman018.html#@default91">3.2.9</A>
<BR>
<BR>
<LI CLASS="li-itemize">geometric constraints, <A HREF="libman045.html#@default222">8.3</A>
<LI CLASS="li-itemize">get_bounds/3, <A HREF="libman018.html#@default71">3.2.7</A>
<LI CLASS="li-itemize">get_delta/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default81">3.2.7</A>
</UL>
<LI CLASS="li-itemize">get_domain/2, <A HREF="libman018.html#@default78">3.2.7</A>
<LI CLASS="li-itemize">get_domain_as_list/2, <A HREF="libman018.html#@default79">3.2.7</A>
<LI CLASS="li-itemize">get_domain_size/2, <A HREF="libman018.html#@default77">3.2.7</A>
<LI CLASS="li-itemize">get_finite_integer_bounds/3, <A HREF="libman018.html#@default76">3.2.7</A>
<LI CLASS="li-itemize">get_float_bounds/3, <A HREF="libman018.html#@default74">3.2.7</A>
<LI CLASS="li-itemize">get_ic_attr/2, <A HREF="libman020.html#@default126">3.4.2</A>
<LI CLASS="li-itemize">get_integer_bounds/3, <A HREF="libman018.html#@default75">3.2.7</A>
<LI CLASS="li-itemize">get_max/2, <A HREF="libman018.html#@default73">3.2.7</A>
<LI CLASS="li-itemize">get_median/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default80">3.2.7</A>
</UL>
<LI CLASS="li-itemize">get_min/2, <A HREF="libman018.html#@default72">3.2.7</A>
<LI CLASS="li-itemize">get_solver_type/2, <A HREF="libman018.html#@default70">3.2.7</A>
<LI CLASS="li-itemize">get_threshold/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default85">3.2.8</A>
</UL>
</UL></TD>
<TD VALIGN=top ALIGN=left><UL CLASS="itemize"><LI CLASS="li-itemize">global cuts, <A HREF="libman057.html#@default330">9.5</A>
<LI CLASS="li-itemize">guard, <A HREF="libman046.html#@default232">8.4.1</A>, <A HREF="libman046.html#@default236">8.4.2</A>, <A HREF="libman047.html#@default245">8.5.3</A>, <A HREF="libman049.html#@default268">8.7.2</A>
<BR>
<BR>
<LI CLASS="li-itemize">handler declaration, <A HREF="libman047.html#@default239">8.5.1</A>
<BR>
<BR>
<LI CLASS="li-itemize">ic, <A HREF="libman017.html#@default6">3.1.1</A>
<LI CLASS="li-itemize">ic:integers/1, <A HREF="libman056.html#@default305">9.4.1</A>
<LI CLASS="li-itemize">ic_cumulative:cumulative/4, <A HREF="libman023.html#@default150">4.2</A>
<LI CLASS="li-itemize">ic_cumulative:profile/4, <A HREF="libman023.html#@default152">4.2</A>
<LI CLASS="li-itemize">ic_event/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_kernel, <A HREF="libman018.html#@default104">3.2.11</A>, <A HREF="libman018.html#@default110">3.2.11</A>
</UL>
<LI CLASS="li-itemize">ic_global:alldifferent/1, <A HREF="libman022.html#@default128">4.1</A>
<LI CLASS="li-itemize">ic_global:alldifferent/2, <A HREF="libman022.html#@default130">4.1</A>
<LI CLASS="li-itemize">ic_global:sorted/2, <A HREF="libman022.html#@default144">4.1</A>
<LI CLASS="li-itemize">ic_global:sorted/3, <A HREF="libman022.html#@default146">4.1</A>
<LI CLASS="li-itemize">ic_global:sumlist/2, <A HREF="libman022.html#@default148">4.1</A>
<LI CLASS="li-itemize">ic_kernel, <A HREF="libman018.html#@default103">3.2.11</A>, <A HREF="libman020.html#@default112">3.4</A>, <A HREF="libman020.html#@default113">3.4</A>, <A HREF="libman020.html#@default114">3.4.1</A>, <A HREF="libman020.html#@default124">3.4.2</A>
<LI CLASS="li-itemize">ic_stat/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_kernel, <A HREF="libman018.html#@default105">3.2.11</A>, <A HREF="libman018.html#@default106">3.2.11</A>, <A HREF="libman018.html#@default107">3.2.11</A>, <A HREF="libman018.html#@default108">3.2.11</A>
</UL>
<LI CLASS="li-itemize">ic_stat_get/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_kernel, <A HREF="libman018.html#@default109">3.2.11</A>
</UL>
<LI CLASS="li-itemize">ic_stat_register_event/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_kernel, <A HREF="libman018.html#@default111">3.2.11</A>
</UL>
<LI CLASS="li-itemize">impose_bounds/3, <A HREF="libman020.html#@default115">3.4.1</A>, <A HREF="libman020.html#@default119">3.4.1</A>
<LI CLASS="li-itemize">impose_max/2, <A HREF="libman020.html#@default118">3.4.1</A>
<LI CLASS="li-itemize">impose_min/2, <A HREF="libman020.html#@default117">3.4.1</A>
<LI CLASS="li-itemize">in/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default163">5.3.1</A>
</UL>
<LI CLASS="li-itemize">includes/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default169">5.3.3</A>
</UL>
<LI CLASS="li-itemize">indomain/1, <A HREF="libman030.html#@default183">5.5</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default58">3.2.5</A>
</UL>
<LI CLASS="li-itemize">infers, <A HREF="libman039.html#@default203">7.1</A>
<LI CLASS="li-itemize">insetdomain/4, <A HREF="libman030.html#@default182">5.5</A>, <A HREF="libman030.html#@default184">5.5</A>
<LI CLASS="li-itemize">integers/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="libman054.html#@default285">9.2.4</A>
<LI CLASS="li-itemize">ic, <A HREF="libman018.html#@default31">3.2.1</A>
</UL>
<LI CLASS="li-itemize">intersection/3, <A HREF="libman029.html#@default179">5.4</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default170">5.3.3</A>
</UL>
<LI CLASS="li-itemize">intset/3, <A HREF="libman027.html#@default159">5.2.1</A>
<LI CLASS="li-itemize">intsets/4, <A HREF="libman027.html#@default160">5.2.1</A>
<LI CLASS="li-itemize">is/2, <A HREF="libman017.html#@default22">3.1.7</A>, <A HREF="libman069.html#@default395">10.5</A>
<LI CLASS="li-itemize">is_in_domain/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default82">3.2.7</A>
</UL>
<LI CLASS="li-itemize">is_in_domain/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default83">3.2.7</A>
</UL>
<LI CLASS="li-itemize">is_solver_type/1, <A HREF="libman018.html#@default69">3.2.7</A>
<LI CLASS="li-itemize">is_solver_var/1, <A HREF="libman018.html#@default68">3.2.7</A>
<BR>
<BR>
<LI CLASS="li-itemize">label_with declaration, <A HREF="libman047.html#@default242">8.5.1</A>, <A HREF="libman048.html#@default262">8.6</A>, <A HREF="libman049.html#@default267">8.7.1</A>
<LI CLASS="li-itemize">labeling
<UL CLASS="itemize"><LI CLASS="li-itemize">
<FONT COLOR=purple>CHR</FONT>, <A HREF="libman048.html#@default260">8.6</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
built-in, <A HREF="libman048.html#@default261">8.6</A>
</UL>
</UL>
<LI CLASS="li-itemize">labeling/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default59">3.2.5</A>
</UL>
<LI CLASS="li-itemize">lexico_le/2, <A HREF="libman022.html#@default136">4.1</A>, <A HREF="libman022.html#@default137">4.1</A>
<LI CLASS="li-itemize">lib(eplex), <A HREF="libman015.html#@default3">2.4</A>
<LI CLASS="li-itemize">lib(ic), <A HREF="libman015.html#@default2">2.4</A>
<LI CLASS="li-itemize">lib(suspend), <A HREF="libman015.html#@default1">2.4</A>
<LI CLASS="li-itemize">library
<UL CLASS="itemize"><LI CLASS="li-itemize">
chr.pl, <A HREF="libman042.html#@default213">8</A>, <A HREF="libman051.html#@default273">8.9.6</A>
<LI CLASS="li-itemize">fd_sets, <A HREF="libman025.html#@default157">5</A>, <A HREF="libman031.html#@default185">5.6</A>
<LI CLASS="li-itemize">ic, <A HREF="libman016.html#@default5">3</A>, <A HREF="libman020.html#@default127">3.4.2</A>
<LI CLASS="li-itemize">ic_symbolic, <A HREF="libman032.html#@default186">6</A>, <A HREF="libman037.html#@default201">6.5</A>
</UL>
<LI CLASS="li-itemize">lin, <A HREF="libman018.html#@default95">3.2.10</A>
<LI CLASS="li-itemize">linear programming, interface to, <A HREF="libman052.html#@default276">9</A>, <A HREF="libman063.html#@default365">9.11.3</A>
<LI CLASS="li-itemize">list constraints, <A HREF="libman045.html#@default219">8.3</A>
<LI CLASS="li-itemize">local search, <A HREF="libman065.html#@default369">10.1</A>
<LI CLASS="li-itemize">locate/2, <A HREF="libman018.html#@default63">3.2.6</A>, <A HREF="libman018.html#@default98">3.2.10</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default61">3.2.6</A>
</UL>
<LI CLASS="li-itemize">locate/3, <A HREF="libman018.html#@default64">3.2.6</A>, <A HREF="libman018.html#@default66">3.2.6</A>, <A HREF="libman018.html#@default99">3.2.10</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default62">3.2.6</A>
</UL>
<LI CLASS="li-itemize">locate/4, <A HREF="libman018.html#@default101">3.2.10</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default65">3.2.6</A>
</UL>
<LI CLASS="li-itemize">log, <A HREF="libman018.html#@default96">3.2.10</A>
<LI CLASS="li-itemize">lp_add/3, <A HREF="libman056.html#@default309">9.4.2</A>
<LI CLASS="li-itemize">lp_add_columns/2, <A HREF="libman056.html#@default321">9.4.5</A>
<LI CLASS="li-itemize">lp_add_constraints/3, <A HREF="libman056.html#@default308">9.4.2</A>
<LI CLASS="li-itemize">lp_add_constraints/4, <A HREF="libman056.html#@default319">9.4.5</A>
<LI CLASS="li-itemize">lp_add_cutpool_constraints/4
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex, <A HREF="libman057.html#@default333">9.5.2</A>
</UL>
<LI CLASS="li-itemize">lp_add_vars/2, <A HREF="libman056.html#@default310">9.4.2</A>
<LI CLASS="li-itemize">lp_cleanup/1, <A HREF="libman056.html#@default324">9.4.7</A>
<LI CLASS="li-itemize">lp_demon_setup/5, <A HREF="libman056.html#@default302">9.4.1</A>, <A HREF="libman056.html#@default306">9.4.1</A>
<LI CLASS="li-itemize">lp_get/2, <A HREF="libman063.html#@default348">9.11.3</A>, <A HREF="libman063.html#@default357">9.11.3</A>, <A HREF="libman063.html#@default361">9.11.3</A>, <A HREF="libman063.html#@default362">9.11.3</A>
<LI CLASS="li-itemize">lp_get/3, <A HREF="libman056.html#@default315">9.4.4</A>, <A HREF="libman057.html#@default332">9.5.1</A>, <A HREF="libman057.html#@default334">9.5.2</A>, <A HREF="libman057.html#@default336">9.5.2</A>, <A HREF="libman057.html#@default337">9.5.2</A>, <A HREF="libman063.html#@default350">9.11.3</A>, <A HREF="libman063.html#@default354">9.11.3</A>, <A HREF="libman063.html#@default355">9.11.3</A>
<LI CLASS="li-itemize">lp_read/3, <A HREF="libman056.html#@default326">9.4.8</A>
<LI CLASS="li-itemize">lp_set/2, <A HREF="libman063.html#@default351">9.11.3</A>, <A HREF="libman063.html#@default360">9.11.3</A>
<LI CLASS="li-itemize">lp_set/3, <A HREF="libman056.html#@default323">9.4.6</A>, <A HREF="libman057.html#@default335">9.5.2</A>, <A HREF="libman063.html#@default353">9.11.3</A>, <A HREF="libman063.html#@default358">9.11.3</A>
<LI CLASS="li-itemize">lp_setup/4, <A HREF="libman056.html#@default303">9.4.1</A>
<LI CLASS="li-itemize">lp_solve/2, <A HREF="libman056.html#@default312">9.4.3</A>
<LI CLASS="li-itemize">lp_var_get/4, <A HREF="libman056.html#@default316">9.4.4</A>
<LI CLASS="li-itemize">lp_var_get_bounds/4, <A HREF="libman056.html#@default317">9.4.4</A>
<LI CLASS="li-itemize">lp_var_set_bounds/4, <A HREF="libman056.html#@default311">9.4.2</A>
<LI CLASS="li-itemize">lp_write/3, <A HREF="libman056.html#@default327">9.4.8</A>, <A HREF="libman057.html#@default339">9.5.2</A>
<BR>
<BR>
<LI CLASS="li-itemize">mathematical programming, interface to, <A HREF="libman052.html#@default274">9</A>, <A HREF="libman063.html#@default363">9.11.3</A>
<LI CLASS="li-itemize">maxlist/2, <A HREF="libman022.html#@default134">4.1</A>, <A HREF="libman022.html#@default135">4.1</A>
<LI CLASS="li-itemize">membership_booleans/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default165">5.3.1</A>
</UL>
<LI CLASS="li-itemize">minlist/2, <A HREF="libman022.html#@default132">4.1</A>, <A HREF="libman022.html#@default133">4.1</A>
<LI CLASS="li-itemize">minmax constraints, <A HREF="libman045.html#@default217">8.3</A>
<LI CLASS="li-itemize">mixed integer programming, interface to, <A HREF="libman052.html#@default275">9</A>, <A HREF="libman063.html#@default364">9.11.3</A>
<LI CLASS="li-itemize">most, <A HREF="libman040.html#@default204">7.2</A>
<BR>
<BR>
<LI CLASS="li-itemize">neg/1, <A HREF="libman017.html#@default16">3.1.2</A>, <A HREF="libman018.html#@default54">3.2.3</A>
<LI CLASS="li-itemize">nodbgcomp, <A HREF="libman047.html#@default250">8.5.3</A>, <A HREF="libman049.html#@default266">8.7</A>, <A HREF="libman050.html#@default272">8.8.1</A>
<LI CLASS="li-itemize">normalise_cstrs/3, <A HREF="libman056.html#@default328">9.4.8</A>
<LI CLASS="li-itemize">notin/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default164">5.3.1</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">occurrences/3, <A HREF="libman022.html#@default142">4.1</A>, <A HREF="libman022.html#@default143">4.1</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman035.html#@default198">6.3</A>
</UL>
<LI CLASS="li-itemize">operator declaration, <A HREF="libman047.html#@default241">8.5.1</A>
<LI CLASS="li-itemize">options
<UL CLASS="itemize"><LI CLASS="li-itemize">
chr, <A HREF="libman047.html#@default243">8.5.3</A>
</UL>
<LI CLASS="li-itemize">or/2, <A HREF="libman017.html#@default18">3.1.2</A>, <A HREF="libman018.html#@default52">3.2.3</A>
<LI CLASS="li-itemize">ordered/2, <A HREF="libman022.html#@default138">4.1</A>, <A HREF="libman022.html#@default139">4.1</A>
<LI CLASS="li-itemize">ordered_sum/2, <A HREF="libman022.html#@default140">4.1</A>, <A HREF="libman022.html#@default141">4.1</A>
<BR>
<BR>
<LI CLASS="li-itemize">Precision, <A HREF="libman018.html#@default94">3.2.10</A>
<LI CLASS="li-itemize">Propia, <A HREF="libman038.html#@default202">7</A>
<LI CLASS="li-itemize">poss_conflict_vars/2, <A HREF="libman068.html#@default393">10.4</A>
<LI CLASS="li-itemize">potential_members/2, <A HREF="libman027.html#@default161">5.2.3</A>
<LI CLASS="li-itemize">profile/4, <A HREF="libman023.html#@default153">4.2</A>
<LI CLASS="li-itemize">propagation, <A HREF="libman018.html#@default89">3.2.9</A>, <A HREF="libman070.html#@default401">10.6.1</A>
<LI CLASS="li-itemize">propagation rule, <A HREF="libman046.html#@default234">8.4.1</A>
<LI CLASS="li-itemize">propositional logic, <A HREF="libman040.html#@default208">7.2</A>, <A HREF="libman045.html#@default224">8.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">quadratic programming, interface to, <A HREF="libman052.html#@default277">9</A>, <A HREF="libman063.html#@default366">9.11.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">r_conflict/2, <A HREF="libman067.html#@default380">10.3</A>, <A HREF="libman067.html#@default381">10.3</A>, <A HREF="libman067.html#@default384">10.3</A>, <A HREF="libman067.html#@default386">10.3</A>
<LI CLASS="li-itemize">r_conflict_prop/2, <A HREF="libman067.html#@default385">10.3</A>, <A HREF="libman067.html#@default387">10.3</A>
<LI CLASS="li-itemize">reals/1, <A HREF="libman054.html#@default286">9.2.4</A>, <A HREF="libman056.html#@default304">9.4.1</A>, <A HREF="libman057.html#@default331">9.5.1</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default30">3.2.1</A>
</UL>
<LI CLASS="li-itemize">reduced_cost_pruning/2, <A HREF="libman056.html#@default318">9.4.4</A>
<LI CLASS="li-itemize">repair, <A HREF="libman065.html#@default368">10.1</A>
<LI CLASS="li-itemize">repair/1, <A HREF="libman070.html#@default402">10.6.2</A>
<LI CLASS="li-itemize">resource allocation, <A HREF="libman040.html#@default209">7.2</A>
<LI CLASS="li-itemize">rotate/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default195">6.2</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">sameset/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default171">5.3.3</A>
</UL>
<LI CLASS="li-itemize">scheduling, <A HREF="libman040.html#@default205">7.2</A>
<LI CLASS="li-itemize">search/6
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default60">3.2.5</A>
</UL>
<LI CLASS="li-itemize">set constraints, <A HREF="libman045.html#@default226">8.3</A>
<LI CLASS="li-itemize">set_range/3, <A HREF="libman027.html#@default162">5.2.3</A>
<LI CLASS="li-itemize">set_threshold/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default86">3.2.8</A>
</UL>
<LI CLASS="li-itemize">set_threshold/2, <A HREF="libman018.html#@default87">3.2.8</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default88">3.2.8</A>
</UL>
<LI CLASS="li-itemize">set_var_type/2, <A HREF="libman020.html#@default122">3.4.1</A>
<LI CLASS="li-itemize">set_vars_type/2, <A HREF="libman020.html#@default123">3.4.1</A>
<LI CLASS="li-itemize">shift/1
<UL CLASS="itemize"><LI CLASS="li-itemize">
ic_symbolic, <A HREF="libman034.html#@default194">6.2</A>
</UL>
<LI CLASS="li-itemize">simpagation rule, <A HREF="libman046.html#@default235">8.4.1</A>
<LI CLASS="li-itemize">simplex solver, interface to, <A HREF="libman052.html#@default278">9</A>, <A HREF="libman063.html#@default367">9.11.3</A>
<LI CLASS="li-itemize">simplification rule, <A HREF="libman046.html#@default233">8.4.1</A>
<LI CLASS="li-itemize">sorted/2, <A HREF="libman022.html#@default145">4.1</A>
<LI CLASS="li-itemize">sorted/3, <A HREF="libman022.html#@default147">4.1</A>
<LI CLASS="li-itemize">squash, <A HREF="libman018.html#@default97">3.2.10</A>, <A HREF="libman018.html#@default102">3.2.10</A>
<LI CLASS="li-itemize">squash/3, <A HREF="libman018.html#@default100">3.2.10</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
ic, <A HREF="libman018.html#@default67">3.2.6</A>
</UL>
<LI CLASS="li-itemize">subset/2
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default172">5.3.3</A>
</UL>
<LI CLASS="li-itemize">sumlist/2, <A HREF="libman022.html#@default149">4.1</A>
<LI CLASS="li-itemize">suspend/3, <A HREF="libman020.html#@default125">3.4.2</A>
<LI CLASS="li-itemize">suspension list
<UL CLASS="itemize"><LI CLASS="li-itemize">
ga_chg, <A HREF="libman069.html#@default399">10.5</A>
</UL>
<LI CLASS="li-itemize">symbol_domain_index/3, <A HREF="libman036.html#@default200">6.4</A>
<LI CLASS="li-itemize">symdiff/3
<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default173">5.3.3</A>
</UL>
<BR>
<BR>
<LI CLASS="li-itemize">Tentative Values, <A HREF="libman066.html#@default370">10.2</A>
<LI CLASS="li-itemize">temporal constraints, <A HREF="libman045.html#@default228">8.3</A>
<LI CLASS="li-itemize">tenable, <A HREF="libman066.html#@default371">10.2.2</A>
<LI CLASS="li-itemize">tent_call/3, <A HREF="libman069.html#@default396">10.5</A>, <A HREF="libman069.html#@default398">10.5</A>
<LI CLASS="li-itemize">tent_get/2, <A HREF="libman066.html#@default374">10.2.6</A>
<LI CLASS="li-itemize">tent_is/2, <A HREF="libman069.html#@default394">10.5</A>, <A HREF="libman069.html#@default397">10.5</A>
<LI CLASS="li-itemize">tent_set/2, <A HREF="libman066.html#@default375">10.2.6</A>
<LI CLASS="li-itemize">tentative assignment, <A HREF="libman066.html#@default372">10.2.3</A>
<LI CLASS="li-itemize">term constraints, <A HREF="libman045.html#@default218">8.3</A>
<LI CLASS="li-itemize">terminological constraints, <A HREF="libman045.html#@default227">8.3</A>
<LI CLASS="li-itemize">tree constraints, <A HREF="libman045.html#@default220">8.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">unification
<UL CLASS="itemize"><LI CLASS="li-itemize">
eplex variables, <A HREF="libman058.html#@default340">9.6</A>
</UL>
<LI CLASS="li-itemize">union/3, <A HREF="libman029.html#@default180">5.4</A>

<UL CLASS="itemize"><LI CLASS="li-itemize">
fd_sets, <A HREF="libman028.html#@default174">5.3.3</A>
</UL>
<LI CLASS="li-itemize">unique, <A HREF="libman041.html#@default211">7.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">violation, <A HREF="libman067.html#@default376">10.3</A>
<BR>
<BR>
<LI CLASS="li-itemize">wake/0, <A HREF="libman020.html#@default116">3.4.1</A>
<LI CLASS="li-itemize">weight/3, <A HREF="libman028.html#@default178">5.3.5</A>
<BR>
<BR>
<LI CLASS="li-itemize">XPRESS-MP, <A HREF="libman063.html#@default344">9.11</A>
</UL></TD>
</TR></TABLE>
<HR>
<A HREF="libman064.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="libman072.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
